.intel_syntax noprefix
MFENCE # instrumentation
.test_case_enter:
.function_main:
.bb_main.entry:
JMP .bb_main.0 
.bb_main.0:
AND RCX, 0b1111111111111 # instrumentation
CMOVNLE CX, word ptr [R14 + RCX] 
AND RDX, 0b1111111111111 # instrumentation
AND qword ptr [R14 + RDX], 51 
AND RDX, 0b1111111111111 # instrumentation
CMOVNL DI, word ptr [R14 + RDX] 
AND RSI, 0b1111111111111 # instrumentation
LOCK OR qword ptr [R14 + RSI], -65 
AND RSI, 0b1111111111111 # instrumentation
XOR DX, word ptr [R14 + RSI] 
AND RAX, 0b1111111111111 # instrumentation
OR qword ptr [R14 + RAX], 0b1000000000000000000000000000000 # instrumentation
BSF RDI, qword ptr [R14 + RAX] 
TEST RAX, -1495355071 
JP .bb_main.1 
JMP .bb_main.exit 
.bb_main.1:
AND RBX, 0b1111111111111 # instrumentation
XOR RDX, qword ptr [R14 + RBX] 
AND RSI, 0b1111111111111 # instrumentation
NOT word ptr [R14 + RSI] 
AND RAX, 0b1111111111111 # instrumentation
XOR qword ptr [R14 + RAX], RDI 
CMOVO RDX, RDI 
BTR EDX, EAX 
XOR CL, AL 
AND BL, -72 
AND RDI, 0b1111111111111 # instrumentation
CMOVB RSI, qword ptr [R14 + RDI] 
AND RCX, 0b1111111111111 # instrumentation
LOCK OR byte ptr [R14 + RCX], 37 
AND RBX, 0b1111111111111 # instrumentation
AND byte ptr [R14 + RBX], -24 
AND RAX, 0b1111111111111 # instrumentation
OR qword ptr [R14 + RAX], RDX 
AND RDX, 0b1111111111111 # instrumentation
TEST byte ptr [R14 + RDX], DL 
OR AX, 0b1000000000000000 # instrumentation
BSR BX, AX 
.bb_main.exit:
.test_case_exit:
MFENCE # instrumentation
